<HTML>
<BODY BGCOLOR="white">
<PRE>
<FONT color="green">001</FONT>    // Copyright 2007-2008 Waterken Inc. under the terms of the MIT X license<a name="line.1"></a>
<FONT color="green">002</FONT>    // found at http://www.opensource.org/licenses/mit-license.html<a name="line.2"></a>
<FONT color="green">003</FONT>    package org.waterken.syntax.json;<a name="line.3"></a>
<FONT color="green">004</FONT>    <a name="line.4"></a>
<FONT color="green">005</FONT>    import static org.ref_send.promise.Eventual.ref;<a name="line.5"></a>
<FONT color="green">006</FONT>    import static org.waterken.syntax.WrongToken.require;<a name="line.6"></a>
<FONT color="green">007</FONT>    <a name="line.7"></a>
<FONT color="green">008</FONT>    import java.io.IOException;<a name="line.8"></a>
<FONT color="green">009</FONT>    import java.io.Reader;<a name="line.9"></a>
<FONT color="green">010</FONT>    import java.lang.annotation.Annotation;<a name="line.10"></a>
<FONT color="green">011</FONT>    import java.lang.reflect.Array;<a name="line.11"></a>
<FONT color="green">012</FONT>    import java.lang.reflect.Constructor;<a name="line.12"></a>
<FONT color="green">013</FONT>    import java.lang.reflect.GenericArrayType;<a name="line.13"></a>
<FONT color="green">014</FONT>    import java.lang.reflect.Type;<a name="line.14"></a>
<FONT color="green">015</FONT>    import java.lang.reflect.TypeVariable;<a name="line.15"></a>
<FONT color="green">016</FONT>    import java.math.BigDecimal;<a name="line.16"></a>
<FONT color="green">017</FONT>    import java.math.BigInteger;<a name="line.17"></a>
<FONT color="green">018</FONT>    <a name="line.18"></a>
<FONT color="green">019</FONT>    import org.joe_e.array.BooleanArray;<a name="line.19"></a>
<FONT color="green">020</FONT>    import org.joe_e.array.ByteArray;<a name="line.20"></a>
<FONT color="green">021</FONT>    import org.joe_e.array.CharArray;<a name="line.21"></a>
<FONT color="green">022</FONT>    import org.joe_e.array.ConstArray;<a name="line.22"></a>
<FONT color="green">023</FONT>    import org.joe_e.array.DoubleArray;<a name="line.23"></a>
<FONT color="green">024</FONT>    import org.joe_e.array.FloatArray;<a name="line.24"></a>
<FONT color="green">025</FONT>    import org.joe_e.array.ImmutableArray;<a name="line.25"></a>
<FONT color="green">026</FONT>    import org.joe_e.array.IntArray;<a name="line.26"></a>
<FONT color="green">027</FONT>    import org.joe_e.array.LongArray;<a name="line.27"></a>
<FONT color="green">028</FONT>    import org.joe_e.array.PowerlessArray;<a name="line.28"></a>
<FONT color="green">029</FONT>    import org.joe_e.array.ShortArray;<a name="line.29"></a>
<FONT color="green">030</FONT>    import org.joe_e.reflect.Reflection;<a name="line.30"></a>
<FONT color="green">031</FONT>    import org.ref_send.name;<a name="line.31"></a>
<FONT color="green">032</FONT>    import org.ref_send.promise.Eventual;<a name="line.32"></a>
<FONT color="green">033</FONT>    import org.ref_send.promise.Promise;<a name="line.33"></a>
<FONT color="green">034</FONT>    import org.ref_send.scope.Layout;<a name="line.34"></a>
<FONT color="green">035</FONT>    import org.ref_send.scope.Scope;<a name="line.35"></a>
<FONT color="green">036</FONT>    import org.ref_send.scope.Unavailable;<a name="line.36"></a>
<FONT color="green">037</FONT>    import org.ref_send.type.Typedef;<a name="line.37"></a>
<FONT color="green">038</FONT>    import org.waterken.syntax.BadSyntax;<a name="line.38"></a>
<FONT color="green">039</FONT>    import org.waterken.syntax.Importer;<a name="line.39"></a>
<FONT color="green">040</FONT>    import org.waterken.syntax.Syntax;<a name="line.40"></a>
<FONT color="green">041</FONT>    import org.waterken.syntax.WrongToken;<a name="line.41"></a>
<FONT color="green">042</FONT>    <a name="line.42"></a>
<FONT color="green">043</FONT>    /**<a name="line.43"></a>
<FONT color="green">044</FONT>     * Deserializes a JSON text stream.<a name="line.44"></a>
<FONT color="green">045</FONT>     */<a name="line.45"></a>
<FONT color="green">046</FONT>    public final class<a name="line.46"></a>
<FONT color="green">047</FONT>    JSONParser {<a name="line.47"></a>
<FONT color="green">048</FONT>    <a name="line.48"></a>
<FONT color="green">049</FONT>        private final String base;<a name="line.49"></a>
<FONT color="green">050</FONT>        private final Importer connect;<a name="line.50"></a>
<FONT color="green">051</FONT>        private final ClassLoader code;<a name="line.51"></a>
<FONT color="green">052</FONT>        private final JSONLexer lexer;<a name="line.52"></a>
<FONT color="green">053</FONT>    <a name="line.53"></a>
<FONT color="green">054</FONT>        /**<a name="line.54"></a>
<FONT color="green">055</FONT>         * Constructs an instance.<a name="line.55"></a>
<FONT color="green">056</FONT>         * @param base      base URL<a name="line.56"></a>
<FONT color="green">057</FONT>         * @param connect   reference importer<a name="line.57"></a>
<FONT color="green">058</FONT>         * @param code      class loader<a name="line.58"></a>
<FONT color="green">059</FONT>         * @param text      UTF-8 JSON text stream<a name="line.59"></a>
<FONT color="green">060</FONT>         */<a name="line.60"></a>
<FONT color="green">061</FONT>        public<a name="line.61"></a>
<FONT color="green">062</FONT>        JSONParser(final String base, final Importer connect,<a name="line.62"></a>
<FONT color="green">063</FONT>                   final ClassLoader code, final Reader text) {<a name="line.63"></a>
<FONT color="green">064</FONT>            this.base = base;<a name="line.64"></a>
<FONT color="green">065</FONT>            this.connect = connect;<a name="line.65"></a>
<FONT color="green">066</FONT>            this.code = code;<a name="line.66"></a>
<FONT color="green">067</FONT>            lexer = new JSONLexer(text);<a name="line.67"></a>
<FONT color="green">068</FONT>        }<a name="line.68"></a>
<FONT color="green">069</FONT>    <a name="line.69"></a>
<FONT color="green">070</FONT>        /**<a name="line.70"></a>
<FONT color="green">071</FONT>         * Deserializes an array of objects.<a name="line.71"></a>
<FONT color="green">072</FONT>         * @param parameters    each expected type<a name="line.72"></a>
<FONT color="green">073</FONT>         * @return parsed argument list<a name="line.73"></a>
<FONT color="green">074</FONT>         * @throws IOException  any I/O error<a name="line.74"></a>
<FONT color="green">075</FONT>         * @throws BadSyntax    invalid JSON text<a name="line.75"></a>
<FONT color="green">076</FONT>         */<a name="line.76"></a>
<FONT color="green">077</FONT>        public ConstArray&lt;?&gt;<a name="line.77"></a>
<FONT color="green">078</FONT>        readTuple(final Type... parameters) throws IOException, BadSyntax {<a name="line.78"></a>
<FONT color="green">079</FONT>            try {<a name="line.79"></a>
<FONT color="green">080</FONT>                // Check for varargs.<a name="line.80"></a>
<FONT color="green">081</FONT>                final Type vparam;<a name="line.81"></a>
<FONT color="green">082</FONT>                final Class&lt;?&gt; vclass;<a name="line.82"></a>
<FONT color="green">083</FONT>                if (0 == parameters.length) {<a name="line.83"></a>
<FONT color="green">084</FONT>                    vparam = vclass = null;<a name="line.84"></a>
<FONT color="green">085</FONT>                } else {<a name="line.85"></a>
<FONT color="green">086</FONT>                    final Type last = parameters[parameters.length - 1];<a name="line.86"></a>
<FONT color="green">087</FONT>                    if (last instanceof GenericArrayType) {<a name="line.87"></a>
<FONT color="green">088</FONT>                        vparam = ((GenericArrayType)last).getGenericComponentType();<a name="line.88"></a>
<FONT color="green">089</FONT>                        vclass = Typedef.raw(vparam);<a name="line.89"></a>
<FONT color="green">090</FONT>                    } else if (last instanceof Class &amp;&amp; ((Class&lt;?&gt;)last).isArray()){<a name="line.90"></a>
<FONT color="green">091</FONT>                        vparam = vclass = ((Class&lt;?&gt;)last).getComponentType();<a name="line.91"></a>
<FONT color="green">092</FONT>                    } else {<a name="line.92"></a>
<FONT color="green">093</FONT>                        vparam = vclass = null;<a name="line.93"></a>
<FONT color="green">094</FONT>                    }<a name="line.94"></a>
<FONT color="green">095</FONT>                }<a name="line.95"></a>
<FONT color="green">096</FONT>                <a name="line.96"></a>
<FONT color="green">097</FONT>                // Parse the received data.<a name="line.97"></a>
<FONT color="green">098</FONT>                final ConstArray.Builder&lt;Object&gt; r =<a name="line.98"></a>
<FONT color="green">099</FONT>                    ConstArray.builder(parameters.length);<a name="line.99"></a>
<FONT color="green">100</FONT>                require("[", lexer.next());<a name="line.100"></a>
<FONT color="green">101</FONT>                if (!"]".equals(lexer.next())) {<a name="line.101"></a>
<FONT color="green">102</FONT>                    while (true) {<a name="line.102"></a>
<FONT color="green">103</FONT>                        if (null != vclass &amp;&amp; r.length() == parameters.length - 1) {<a name="line.103"></a>
<FONT color="green">104</FONT>                            Object vargs = Array.newInstance(vclass, 1);<a name="line.104"></a>
<FONT color="green">105</FONT>                            for (int j = 0; true; ++j) {<a name="line.105"></a>
<FONT color="green">106</FONT>                                Array.set(vargs, j, parseValue(vparam));<a name="line.106"></a>
<FONT color="green">107</FONT>                                if ("]".equals(lexer.next())) { break; }<a name="line.107"></a>
<FONT color="green">108</FONT>                                require(",", lexer.getHead());<a name="line.108"></a>
<FONT color="green">109</FONT>                                lexer.next();<a name="line.109"></a>
<FONT color="green">110</FONT>                                System.arraycopy(vargs, 0,<a name="line.110"></a>
<FONT color="green">111</FONT>                                    vargs = Array.newInstance(vclass, j + 2), 0,<a name="line.111"></a>
<FONT color="green">112</FONT>                                    j + 1);<a name="line.112"></a>
<FONT color="green">113</FONT>                            }<a name="line.113"></a>
<FONT color="green">114</FONT>                            r.append(vargs);<a name="line.114"></a>
<FONT color="green">115</FONT>                            break;<a name="line.115"></a>
<FONT color="green">116</FONT>                        }<a name="line.116"></a>
<FONT color="green">117</FONT>                        if (r.length() &lt; parameters.length) {<a name="line.117"></a>
<FONT color="green">118</FONT>                            r.append(parseValue(parameters[r.length()]));<a name="line.118"></a>
<FONT color="green">119</FONT>                        } else {<a name="line.119"></a>
<FONT color="green">120</FONT>                            // Discard extra arguments.<a name="line.120"></a>
<FONT color="green">121</FONT>                            parseValue(Object.class);<a name="line.121"></a>
<FONT color="green">122</FONT>                        }<a name="line.122"></a>
<FONT color="green">123</FONT>                        if ("]".equals(lexer.next())) { break; }<a name="line.123"></a>
<FONT color="green">124</FONT>                        require(",", lexer.getHead());<a name="line.124"></a>
<FONT color="green">125</FONT>                        lexer.next();<a name="line.125"></a>
<FONT color="green">126</FONT>                    }<a name="line.126"></a>
<FONT color="green">127</FONT>                }<a name="line.127"></a>
<FONT color="green">128</FONT>                lexer.close();<a name="line.128"></a>
<FONT color="green">129</FONT>                <a name="line.129"></a>
<FONT color="green">130</FONT>                // Fill out any remaining parameters with default values.<a name="line.130"></a>
<FONT color="green">131</FONT>                while (r.length() &lt; parameters.length) {<a name="line.131"></a>
<FONT color="green">132</FONT>                    if (null != vclass &amp;&amp; r.length() == parameters.length - 1) {<a name="line.132"></a>
<FONT color="green">133</FONT>                        r.append(Array.newInstance(vclass, 0));<a name="line.133"></a>
<FONT color="green">134</FONT>                    } else {<a name="line.134"></a>
<FONT color="green">135</FONT>                        r.append(Syntax.defaultValue(parameters[r.length()]));<a name="line.135"></a>
<FONT color="green">136</FONT>                    }<a name="line.136"></a>
<FONT color="green">137</FONT>                }<a name="line.137"></a>
<FONT color="green">138</FONT>                return r.snapshot();<a name="line.138"></a>
<FONT color="green">139</FONT>            } catch (final IOException e) {<a name="line.139"></a>
<FONT color="green">140</FONT>                try { lexer.close(); } catch (final Exception e2) {}<a name="line.140"></a>
<FONT color="green">141</FONT>                throw e;<a name="line.141"></a>
<FONT color="green">142</FONT>            } catch (final Exception e) {<a name="line.142"></a>
<FONT color="green">143</FONT>                try { lexer.close(); } catch (final Exception e2) {}<a name="line.143"></a>
<FONT color="green">144</FONT>                throw new BadSyntax(base, PowerlessArray.array(<a name="line.144"></a>
<FONT color="green">145</FONT>                    IntArray.array(lexer.getLine(), lexer.getColumn())), e);<a name="line.145"></a>
<FONT color="green">146</FONT>            }<a name="line.146"></a>
<FONT color="green">147</FONT>        }<a name="line.147"></a>
<FONT color="green">148</FONT>    <a name="line.148"></a>
<FONT color="green">149</FONT>        /**<a name="line.149"></a>
<FONT color="green">150</FONT>         * Deserializes an object.<a name="line.150"></a>
<FONT color="green">151</FONT>         * @param type  expected type<a name="line.151"></a>
<FONT color="green">152</FONT>         * @return parsed object<a name="line.152"></a>
<FONT color="green">153</FONT>         * @throws IOException  any I/O error<a name="line.153"></a>
<FONT color="green">154</FONT>         * @throws BadSyntax    invalid JSON text<a name="line.154"></a>
<FONT color="green">155</FONT>         */<a name="line.155"></a>
<FONT color="green">156</FONT>        public Object<a name="line.156"></a>
<FONT color="green">157</FONT>        readValue(final Type type) throws IOException, BadSyntax {<a name="line.157"></a>
<FONT color="green">158</FONT>            try {<a name="line.158"></a>
<FONT color="green">159</FONT>                lexer.next();<a name="line.159"></a>
<FONT color="green">160</FONT>                final Object r = parseValue(type);<a name="line.160"></a>
<FONT color="green">161</FONT>                lexer.close();<a name="line.161"></a>
<FONT color="green">162</FONT>                return r;<a name="line.162"></a>
<FONT color="green">163</FONT>            } catch (final IOException e) {<a name="line.163"></a>
<FONT color="green">164</FONT>                try { lexer.close(); } catch (final Exception e2) {}<a name="line.164"></a>
<FONT color="green">165</FONT>                throw e;<a name="line.165"></a>
<FONT color="green">166</FONT>            } catch (final Exception e) {<a name="line.166"></a>
<FONT color="green">167</FONT>                try { lexer.close(); } catch (final Exception e2) {}<a name="line.167"></a>
<FONT color="green">168</FONT>                throw new BadSyntax(base, PowerlessArray.array(<a name="line.168"></a>
<FONT color="green">169</FONT>                    IntArray.array(lexer.getLine(), lexer.getColumn())), e);<a name="line.169"></a>
<FONT color="green">170</FONT>            }<a name="line.170"></a>
<FONT color="green">171</FONT>        }<a name="line.171"></a>
<FONT color="green">172</FONT>    <a name="line.172"></a>
<FONT color="green">173</FONT>        static private final TypeVariable&lt;?&gt; R = Typedef.var(Promise.class, "T");<a name="line.173"></a>
<FONT color="green">174</FONT>        static private final TypeVariable&lt;?&gt; T = Typedef.var(Iterable.class, "T");<a name="line.174"></a>
<FONT color="green">175</FONT>    <a name="line.175"></a>
<FONT color="green">176</FONT>        private Object<a name="line.176"></a>
<FONT color="green">177</FONT>        parseValue(final Type required) throws Exception {<a name="line.177"></a>
<FONT color="green">178</FONT>            final String token = lexer.getHead();<a name="line.178"></a>
<FONT color="green">179</FONT>            return "[".equals(token) ? parseArray(required)<a name="line.179"></a>
<FONT color="green">180</FONT>            : "{".equals(token) ? parseObject(required)<a name="line.180"></a>
<FONT color="green">181</FONT>            : token.startsWith("\"") ? parseString(required)<a name="line.181"></a>
<FONT color="green">182</FONT>            : parseKeyword(required);<a name="line.182"></a>
<FONT color="green">183</FONT>        }<a name="line.183"></a>
<FONT color="green">184</FONT>    <a name="line.184"></a>
<FONT color="green">185</FONT>        private Object<a name="line.185"></a>
<FONT color="green">186</FONT>        parseKeyword(final Type required) throws Exception {<a name="line.186"></a>
<FONT color="green">187</FONT>            final String token = lexer.getHead();<a name="line.187"></a>
<FONT color="green">188</FONT>            final Type promised = Typedef.value(R, required);<a name="line.188"></a>
<FONT color="green">189</FONT>            final Type expected = null != promised ? promised : required;<a name="line.189"></a>
<FONT color="green">190</FONT>            final Object value;<a name="line.190"></a>
<FONT color="green">191</FONT>            if ("null".equals(token)) {<a name="line.191"></a>
<FONT color="green">192</FONT>                value = null;<a name="line.192"></a>
<FONT color="green">193</FONT>            } else if ("false".equals(token)) {<a name="line.193"></a>
<FONT color="green">194</FONT>                value = Boolean.FALSE;                              // intern value<a name="line.194"></a>
<FONT color="green">195</FONT>            } else if ("true".equals(token)) {<a name="line.195"></a>
<FONT color="green">196</FONT>                value = Boolean.TRUE;                               // intern value<a name="line.196"></a>
<FONT color="green">197</FONT>            } else if (int.class == expected || Integer.class == expected) {<a name="line.197"></a>
<FONT color="green">198</FONT>                value = Integer.valueOf(Integer.parseInt(token));   // intern value<a name="line.198"></a>
<FONT color="green">199</FONT>            } else if (long.class == expected || Long.class == expected) {<a name="line.199"></a>
<FONT color="green">200</FONT>                value = Long.valueOf(Long.parseLong(token));        // intern value<a name="line.200"></a>
<FONT color="green">201</FONT>            } else if (byte.class == expected || Byte.class == expected) {<a name="line.201"></a>
<FONT color="green">202</FONT>                value = Byte.valueOf(Byte.parseByte(token));        // intern value<a name="line.202"></a>
<FONT color="green">203</FONT>            } else if (short.class == expected || Short.class == expected) {<a name="line.203"></a>
<FONT color="green">204</FONT>                value = Short.valueOf(Short.parseShort(token));     // intern value<a name="line.204"></a>
<FONT color="green">205</FONT>            } else if (BigInteger.class == expected) {<a name="line.205"></a>
<FONT color="green">206</FONT>                value = new BigInteger(token);<a name="line.206"></a>
<FONT color="green">207</FONT>            } else if (double.class == expected || Double.class == expected) {<a name="line.207"></a>
<FONT color="green">208</FONT>                value = Double.valueOf(token);  // accepts a superset of JSON<a name="line.208"></a>
<FONT color="green">209</FONT>            } else if (float.class == expected || Float.class == expected) {<a name="line.209"></a>
<FONT color="green">210</FONT>                value = Float.valueOf(token);   // accepts a superset of JSON<a name="line.210"></a>
<FONT color="green">211</FONT>            } else if (BigDecimal.class == expected) {<a name="line.211"></a>
<FONT color="green">212</FONT>                value = new BigDecimal(token);<a name="line.212"></a>
<FONT color="green">213</FONT>            } else if (token.indexOf('.') != -1 ||<a name="line.213"></a>
<FONT color="green">214</FONT>                       token.indexOf('e') != -1 || token.indexOf('E') != -1) {<a name="line.214"></a>
<FONT color="green">215</FONT>                value = Double.valueOf(token);  // accepts a superset of JSON<a name="line.215"></a>
<FONT color="green">216</FONT>            } else {<a name="line.216"></a>
<FONT color="green">217</FONT>                final BigInteger x = new BigInteger(token);<a name="line.217"></a>
<FONT color="green">218</FONT>                int bits = x.bitLength();<a name="line.218"></a>
<FONT color="green">219</FONT>                if (x.signum() &gt; 0) { ++bits; }<a name="line.219"></a>
<FONT color="green">220</FONT>                if (bits &lt;= Integer.SIZE) {<a name="line.220"></a>
<FONT color="green">221</FONT>                    value = Integer.valueOf(x.intValue());          // intern value<a name="line.221"></a>
<FONT color="green">222</FONT>                } else if (bits &lt;= Long.SIZE) {<a name="line.222"></a>
<FONT color="green">223</FONT>                    value = Long.valueOf(x.longValue());            // intern value<a name="line.223"></a>
<FONT color="green">224</FONT>                } else {<a name="line.224"></a>
<FONT color="green">225</FONT>                    value = x;<a name="line.225"></a>
<FONT color="green">226</FONT>                }<a name="line.226"></a>
<FONT color="green">227</FONT>            }<a name="line.227"></a>
<FONT color="green">228</FONT>            return null != promised ? ref(value) : value;<a name="line.228"></a>
<FONT color="green">229</FONT>        }<a name="line.229"></a>
<FONT color="green">230</FONT>    <a name="line.230"></a>
<FONT color="green">231</FONT>        private Object<a name="line.231"></a>
<FONT color="green">232</FONT>        parseString(final Type required) throws Exception {<a name="line.232"></a>
<FONT color="green">233</FONT>            final String text = string(lexer.getHead());<a name="line.233"></a>
<FONT color="green">234</FONT>            final Type promised = Typedef.value(R, required);<a name="line.234"></a>
<FONT color="green">235</FONT>            final Type expected = null != promised ? promised : required;<a name="line.235"></a>
<FONT color="green">236</FONT>            final Object value;<a name="line.236"></a>
<FONT color="green">237</FONT>            if (char.class == expected || Character.class == expected) {<a name="line.237"></a>
<FONT color="green">238</FONT>                if (1 != text.length()) { throw new WrongToken("\""); }<a name="line.238"></a>
<FONT color="green">239</FONT>                value = Character.valueOf(text.charAt(0));          // intern value<a name="line.239"></a>
<FONT color="green">240</FONT>            } else {<a name="line.240"></a>
<FONT color="green">241</FONT>                value = text;<a name="line.241"></a>
<FONT color="green">242</FONT>            }<a name="line.242"></a>
<FONT color="green">243</FONT>            return null != promised ? ref(value) : value;<a name="line.243"></a>
<FONT color="green">244</FONT>        }<a name="line.244"></a>
<FONT color="green">245</FONT>    <a name="line.245"></a>
<FONT color="green">246</FONT>        private Object<a name="line.246"></a>
<FONT color="green">247</FONT>        parseArray(final Type required) throws Exception {<a name="line.247"></a>
<FONT color="green">248</FONT>            require("[", lexer.getHead());<a name="line.248"></a>
<FONT color="green">249</FONT>            final Type promised = Typedef.value(R, required);<a name="line.249"></a>
<FONT color="green">250</FONT>            final Type expected = null != promised ? promised : required;<a name="line.250"></a>
<FONT color="green">251</FONT>            final Class&lt;?&gt; rawExpected = Typedef.raw(expected);<a name="line.251"></a>
<FONT color="green">252</FONT>            final @SuppressWarnings({ "rawtypes", "unchecked" })<a name="line.252"></a>
<FONT color="green">253</FONT>            ConstArray.Builder&lt;Object&gt; builder = (ConstArray.Builder)(<a name="line.253"></a>
<FONT color="green">254</FONT>                BooleanArray.class == rawExpected ? BooleanArray.builder() :<a name="line.254"></a>
<FONT color="green">255</FONT>                CharArray.class == rawExpected ? CharArray.builder() :<a name="line.255"></a>
<FONT color="green">256</FONT>                ByteArray.class == rawExpected ? ByteArray.builder() :<a name="line.256"></a>
<FONT color="green">257</FONT>                ShortArray.class == rawExpected ? ShortArray.builder() :<a name="line.257"></a>
<FONT color="green">258</FONT>                IntArray.class == rawExpected ? IntArray.builder() :<a name="line.258"></a>
<FONT color="green">259</FONT>                LongArray.class == rawExpected ? LongArray.builder() :<a name="line.259"></a>
<FONT color="green">260</FONT>                FloatArray.class == rawExpected ? FloatArray.builder() :<a name="line.260"></a>
<FONT color="green">261</FONT>                DoubleArray.class == rawExpected ? DoubleArray.builder() :<a name="line.261"></a>
<FONT color="green">262</FONT>                PowerlessArray.class.isAssignableFrom(rawExpected) ?<a name="line.262"></a>
<FONT color="green">263</FONT>                    PowerlessArray.builder() :<a name="line.263"></a>
<FONT color="green">264</FONT>                ImmutableArray.class.isAssignableFrom(rawExpected) ?<a name="line.264"></a>
<FONT color="green">265</FONT>                    ImmutableArray.builder() :<a name="line.265"></a>
<FONT color="green">266</FONT>                ConstArray.builder());<a name="line.266"></a>
<FONT color="green">267</FONT>            if (!"]".equals(lexer.next())) {<a name="line.267"></a>
<FONT color="green">268</FONT>                final Type elementT = Typedef.value(T, expected);<a name="line.268"></a>
<FONT color="green">269</FONT>                while (true) {<a name="line.269"></a>
<FONT color="green">270</FONT>                    builder.append(parseValue(elementT));<a name="line.270"></a>
<FONT color="green">271</FONT>                    if ("]".equals(lexer.next())) { break; }<a name="line.271"></a>
<FONT color="green">272</FONT>                    require(",", lexer.getHead());<a name="line.272"></a>
<FONT color="green">273</FONT>                    lexer.next();<a name="line.273"></a>
<FONT color="green">274</FONT>                }<a name="line.274"></a>
<FONT color="green">275</FONT>            }<a name="line.275"></a>
<FONT color="green">276</FONT>            final ConstArray&lt;?&gt; value = builder.snapshot();<a name="line.276"></a>
<FONT color="green">277</FONT>            return null != promised ? ref(value) : value;<a name="line.277"></a>
<FONT color="green">278</FONT>        }<a name="line.278"></a>
<FONT color="green">279</FONT>    <a name="line.279"></a>
<FONT color="green">280</FONT>        private Object<a name="line.280"></a>
<FONT color="green">281</FONT>        parseObject(final Type required) throws Exception {<a name="line.281"></a>
<FONT color="green">282</FONT>            require("{", lexer.getHead());<a name="line.282"></a>
<FONT color="green">283</FONT>            lexer.next();       // skip past the opening curly<a name="line.283"></a>
<FONT color="green">284</FONT>    <a name="line.284"></a>
<FONT color="green">285</FONT>            /*<a name="line.285"></a>
<FONT color="green">286</FONT>             * SECURITY CLAIM: The held ClassLoader will only be used to construct<a name="line.286"></a>
<FONT color="green">287</FONT>             * pass-by-construction Joe-E objects. Although any class may be loaded<a name="line.287"></a>
<FONT color="green">288</FONT>             * via the ClassLoader, the class will only be used to access a Joe-E<a name="line.288"></a>
<FONT color="green">289</FONT>             * constructor. If the loaded class is not a Joe-E class, no Joe-E<a name="line.289"></a>
<FONT color="green">290</FONT>             * constructor will be found and deserialization will fail.<a name="line.290"></a>
<FONT color="green">291</FONT>             *<a name="line.291"></a>
<FONT color="green">292</FONT>             * A "pass-by-construction" Joe-E class is a Joe-E class which either:<a name="line.292"></a>
<FONT color="green">293</FONT>             * - declares a public constructor with the deserializer annotation<a name="line.293"></a>
<FONT color="green">294</FONT>             * - is a subclass of Throwable and declares a public no-arg constructor<a name="line.294"></a>
<FONT color="green">295</FONT>             */<a name="line.295"></a>
<FONT color="green">296</FONT>    <a name="line.296"></a>
<FONT color="green">297</FONT>            final PowerlessArray.Builder&lt;String&gt; names = PowerlessArray.builder(1);<a name="line.297"></a>
<FONT color="green">298</FONT>            final ConstArray.Builder&lt;Object&gt; values = ConstArray.builder(1);<a name="line.298"></a>
<FONT color="green">299</FONT>    <a name="line.299"></a>
<FONT color="green">300</FONT>            // load any explicit type information<a name="line.300"></a>
<FONT color="green">301</FONT>            final Type promised = Typedef.value(R, required);<a name="line.301"></a>
<FONT color="green">302</FONT>            final Type expected = null != promised ? promised : required;<a name="line.302"></a>
<FONT color="green">303</FONT>            Class&lt;?&gt;[] types = new Class&lt;?&gt;[] { Typedef.raw(expected) };<a name="line.303"></a>
<FONT color="green">304</FONT>            if (null != code &amp;&amp; "\"class\"".equals(lexer.getHead())) {<a name="line.304"></a>
<FONT color="green">305</FONT>                require(":", lexer.next());<a name="line.305"></a>
<FONT color="green">306</FONT>                lexer.next();<a name="line.306"></a>
<FONT color="green">307</FONT>                final Object value = parseValue(PowerlessArray.class);<a name="line.307"></a>
<FONT color="green">308</FONT>                names.append("class");<a name="line.308"></a>
<FONT color="green">309</FONT>                values.append(value);<a name="line.309"></a>
<FONT color="green">310</FONT>                if (value instanceof PowerlessArray&lt;?&gt;) {<a name="line.310"></a>
<FONT color="green">311</FONT>                    for (final Object typename : (PowerlessArray&lt;?&gt;)value) {<a name="line.311"></a>
<FONT color="green">312</FONT>                        try {<a name="line.312"></a>
<FONT color="green">313</FONT>                            final Class&lt;?&gt; type = JSON.load(code, (String)typename);<a name="line.313"></a>
<FONT color="green">314</FONT>                            boolean implied = false;<a name="line.314"></a>
<FONT color="green">315</FONT>                            for (int i = 0; i != types.length; i += 1) {<a name="line.315"></a>
<FONT color="green">316</FONT>                                if (type.isAssignableFrom(types[i])) {<a name="line.316"></a>
<FONT color="green">317</FONT>                                    implied = true;<a name="line.317"></a>
<FONT color="green">318</FONT>                                    break;<a name="line.318"></a>
<FONT color="green">319</FONT>                                }<a name="line.319"></a>
<FONT color="green">320</FONT>                                if (types[i].isAssignableFrom(type)) {<a name="line.320"></a>
<FONT color="green">321</FONT>                                    types[i] = type;<a name="line.321"></a>
<FONT color="green">322</FONT>                                    implied = true;<a name="line.322"></a>
<FONT color="green">323</FONT>                                    break;<a name="line.323"></a>
<FONT color="green">324</FONT>                                }<a name="line.324"></a>
<FONT color="green">325</FONT>                            }<a name="line.325"></a>
<FONT color="green">326</FONT>                            if (!implied) {<a name="line.326"></a>
<FONT color="green">327</FONT>                                final int n = types.length;<a name="line.327"></a>
<FONT color="green">328</FONT>                                System.arraycopy(<a name="line.328"></a>
<FONT color="green">329</FONT>                                    types, 0, types = new Class&lt;?&gt;[n + 1], 0, n);<a name="line.329"></a>
<FONT color="green">330</FONT>                                types[n] = type;<a name="line.330"></a>
<FONT color="green">331</FONT>                            }<a name="line.331"></a>
<FONT color="green">332</FONT>                        } catch (final ClassCastException e) {<a name="line.332"></a>
<FONT color="green">333</FONT>                          // Skip non-string typename in source.<a name="line.333"></a>
<FONT color="green">334</FONT>                        } catch (final ClassNotFoundException e) {<a name="line.334"></a>
<FONT color="green">335</FONT>                          // Skip unknown type.<a name="line.335"></a>
<FONT color="green">336</FONT>                        }<a name="line.336"></a>
<FONT color="green">337</FONT>                    }<a name="line.337"></a>
<FONT color="green">338</FONT>                }<a name="line.338"></a>
<FONT color="green">339</FONT>                if (",".equals(lexer.next())) { lexer.next(); }<a name="line.339"></a>
<FONT color="green">340</FONT>            }<a name="line.340"></a>
<FONT color="green">341</FONT>            final Constructor&lt;?&gt; make; {<a name="line.341"></a>
<FONT color="green">342</FONT>                Constructor&lt;?&gt; c = null;<a name="line.342"></a>
<FONT color="green">343</FONT>                for (final Class&lt;?&gt; type : types) {<a name="line.343"></a>
<FONT color="green">344</FONT>                    c = Syntax.deserializer(type);<a name="line.344"></a>
<FONT color="green">345</FONT>                    if (null != c) { break; }<a name="line.345"></a>
<FONT color="green">346</FONT>                }<a name="line.346"></a>
<FONT color="green">347</FONT>                make = c;<a name="line.347"></a>
<FONT color="green">348</FONT>            }<a name="line.348"></a>
<FONT color="green">349</FONT>            final String[] namev;<a name="line.349"></a>
<FONT color="green">350</FONT>            final Type[] paramv;<a name="line.350"></a>
<FONT color="green">351</FONT>            final Object[] argv;<a name="line.351"></a>
<FONT color="green">352</FONT>            final boolean[] donev;<a name="line.352"></a>
<FONT color="green">353</FONT>            if (null == make) {<a name="line.353"></a>
<FONT color="green">354</FONT>                namev = new String[] {};<a name="line.354"></a>
<FONT color="green">355</FONT>                paramv = new Type[] {};<a name="line.355"></a>
<FONT color="green">356</FONT>                argv = new Object[] {};<a name="line.356"></a>
<FONT color="green">357</FONT>                donev = new boolean[] {};<a name="line.357"></a>
<FONT color="green">358</FONT>            } else {<a name="line.358"></a>
<FONT color="green">359</FONT>                paramv = make.getGenericParameterTypes(); {<a name="line.359"></a>
<FONT color="green">360</FONT>                    int i = 0;<a name="line.360"></a>
<FONT color="green">361</FONT>                    for (final Type p : paramv) {<a name="line.361"></a>
<FONT color="green">362</FONT>                        paramv[i++] = Typedef.bound(p, expected);<a name="line.362"></a>
<FONT color="green">363</FONT>                    }<a name="line.363"></a>
<FONT color="green">364</FONT>                }<a name="line.364"></a>
<FONT color="green">365</FONT>                namev = new String[paramv.length]; {<a name="line.365"></a>
<FONT color="green">366</FONT>                    int i = 0;<a name="line.366"></a>
<FONT color="green">367</FONT>                    for (final Annotation[] as : make.getParameterAnnotations()) {<a name="line.367"></a>
<FONT color="green">368</FONT>                        for (final Annotation a : as) {<a name="line.368"></a>
<FONT color="green">369</FONT>                            if (a instanceof name) {<a name="line.369"></a>
<FONT color="green">370</FONT>                                namev[i] = ((name)a).value();<a name="line.370"></a>
<FONT color="green">371</FONT>                                break;<a name="line.371"></a>
<FONT color="green">372</FONT>                            }<a name="line.372"></a>
<FONT color="green">373</FONT>                        }<a name="line.373"></a>
<FONT color="green">374</FONT>                        ++i;<a name="line.374"></a>
<FONT color="green">375</FONT>                    }<a name="line.375"></a>
<FONT color="green">376</FONT>                }<a name="line.376"></a>
<FONT color="green">377</FONT>                argv = new Object[paramv.length];<a name="line.377"></a>
<FONT color="green">378</FONT>                donev = new boolean[paramv.length];<a name="line.378"></a>
<FONT color="green">379</FONT>            }<a name="line.379"></a>
<FONT color="green">380</FONT>            if (!"}".equals(lexer.getHead())) {<a name="line.380"></a>
<FONT color="green">381</FONT>                while (true) {<a name="line.381"></a>
<FONT color="green">382</FONT>                    final String name = string(lexer.getHead());<a name="line.382"></a>
<FONT color="green">383</FONT>                    require(":", lexer.next());<a name="line.383"></a>
<FONT color="green">384</FONT>                    lexer.next();<a name="line.384"></a>
<FONT color="green">385</FONT>                    int slot = namev.length;<a name="line.385"></a>
<FONT color="green">386</FONT>                    while (0 != slot-- &amp;&amp; !name.equals(namev[slot])) {}<a name="line.386"></a>
<FONT color="green">387</FONT>                    final Type type = -1 != slot ?<a name="line.387"></a>
<FONT color="green">388</FONT>                            paramv[slot] :<a name="line.388"></a>
<FONT color="green">389</FONT>                        "=".equals(name) ?<a name="line.389"></a>
<FONT color="green">390</FONT>                            required :<a name="line.390"></a>
<FONT color="green">391</FONT>                        "!".equals(name) ?<a name="line.391"></a>
<FONT color="green">392</FONT>                            Exception.class :<a name="line.392"></a>
<FONT color="green">393</FONT>                        Object.class;<a name="line.393"></a>
<FONT color="green">394</FONT>                    final Object value = parseValue(type);<a name="line.394"></a>
<FONT color="green">395</FONT>                    if (-1 != slot) {<a name="line.395"></a>
<FONT color="green">396</FONT>                        if (donev[slot]) { throw new Unavailable(name); }<a name="line.396"></a>
<FONT color="green">397</FONT>                        donev[slot] = true;<a name="line.397"></a>
<FONT color="green">398</FONT>                        argv[slot] = value;<a name="line.398"></a>
<FONT color="green">399</FONT>                    } else {<a name="line.399"></a>
<FONT color="green">400</FONT>                        names.append(name);<a name="line.400"></a>
<FONT color="green">401</FONT>                        values.append(value);<a name="line.401"></a>
<FONT color="green">402</FONT>                    }<a name="line.402"></a>
<FONT color="green">403</FONT>                    if ("}".equals(lexer.next())) { break; }<a name="line.403"></a>
<FONT color="green">404</FONT>                    require(",", lexer.getHead());<a name="line.404"></a>
<FONT color="green">405</FONT>                    lexer.next();<a name="line.405"></a>
<FONT color="green">406</FONT>                }<a name="line.406"></a>
<FONT color="green">407</FONT>            }<a name="line.407"></a>
<FONT color="green">408</FONT>    <a name="line.408"></a>
<FONT color="green">409</FONT>            final PowerlessArray&lt;String&gt; undeclared = names.snapshot();<a name="line.409"></a>
<FONT color="green">410</FONT>            final int rejected = find("!", undeclared);<a name="line.410"></a>
<FONT color="green">411</FONT>            if (-1 != rejected) {<a name="line.411"></a>
<FONT color="green">412</FONT>                final Object reason = values.snapshot().get(rejected);<a name="line.412"></a>
<FONT color="green">413</FONT>                final Exception e = reason instanceof Exception ?<a name="line.413"></a>
<FONT color="green">414</FONT>                        (Exception)reason :<a name="line.414"></a>
<FONT color="green">415</FONT>                    reason instanceof String ?<a name="line.415"></a>
<FONT color="green">416</FONT>                        new RuntimeException((String)reason) :<a name="line.416"></a>
<FONT color="green">417</FONT>                    new RuntimeException();<a name="line.417"></a>
<FONT color="green">418</FONT>                try {<a name="line.418"></a>
<FONT color="green">419</FONT>                    return Eventual.cast(Typedef.raw(required), Eventual.reject(e));<a name="line.419"></a>
<FONT color="green">420</FONT>                } catch (final ClassCastException ignored) {<a name="line.420"></a>
<FONT color="green">421</FONT>                    throw e;<a name="line.421"></a>
<FONT color="green">422</FONT>                }<a name="line.422"></a>
<FONT color="green">423</FONT>            }<a name="line.423"></a>
<FONT color="green">424</FONT>    <a name="line.424"></a>
<FONT color="green">425</FONT>            final int remote = find("@", undeclared);<a name="line.425"></a>
<FONT color="green">426</FONT>            if (-1 != remote) {<a name="line.426"></a>
<FONT color="green">427</FONT>                final String href = (String)values.snapshot().get(remote);<a name="line.427"></a>
<FONT color="green">428</FONT>                final Object r = null != promised ?<a name="line.428"></a>
<FONT color="green">429</FONT>                    connect.apply(href, base, required) :<a name="line.429"></a>
<FONT color="green">430</FONT>                    connect.apply(href, base, types);<a name="line.430"></a>
<FONT color="green">431</FONT>                return null != promised ? ref(r) : r;<a name="line.431"></a>
<FONT color="green">432</FONT>            }<a name="line.432"></a>
<FONT color="green">433</FONT>    <a name="line.433"></a>
<FONT color="green">434</FONT>            final int replacement = find("=", undeclared);<a name="line.434"></a>
<FONT color="green">435</FONT>            if (-1 != replacement) { return values.snapshot().get(replacement); }<a name="line.435"></a>
<FONT color="green">436</FONT>    <a name="line.436"></a>
<FONT color="green">437</FONT>            final Object r;<a name="line.437"></a>
<FONT color="green">438</FONT>            if (null == make) {<a name="line.438"></a>
<FONT color="green">439</FONT>                r = Scope.make(new Layout&lt;Object&gt;(undeclared), values.snapshot());<a name="line.439"></a>
<FONT color="green">440</FONT>            } else {<a name="line.440"></a>
<FONT color="green">441</FONT>                for (int i = donev.length; 0 != i--;) {<a name="line.441"></a>
<FONT color="green">442</FONT>                    if (!donev[i]) {<a name="line.442"></a>
<FONT color="green">443</FONT>                        donev[i] = true;<a name="line.443"></a>
<FONT color="green">444</FONT>                        argv[i] = Syntax.defaultValue(paramv[i]);<a name="line.444"></a>
<FONT color="green">445</FONT>                    }<a name="line.445"></a>
<FONT color="green">446</FONT>                }<a name="line.446"></a>
<FONT color="green">447</FONT>                r = Reflection.construct(make, argv);<a name="line.447"></a>
<FONT color="green">448</FONT>                if (r instanceof Throwable) {<a name="line.448"></a>
<FONT color="green">449</FONT>                    Reflection.clearStackTrace((Throwable)r);<a name="line.449"></a>
<FONT color="green">450</FONT>                }<a name="line.450"></a>
<FONT color="green">451</FONT>            }<a name="line.451"></a>
<FONT color="green">452</FONT>            return null != promised ? ref(r) : r;<a name="line.452"></a>
<FONT color="green">453</FONT>        }<a name="line.453"></a>
<FONT color="green">454</FONT>    <a name="line.454"></a>
<FONT color="green">455</FONT>        static private int<a name="line.455"></a>
<FONT color="green">456</FONT>        find(final String name, final PowerlessArray&lt;String&gt; names) {<a name="line.456"></a>
<FONT color="green">457</FONT>            int r = names.length();<a name="line.457"></a>
<FONT color="green">458</FONT>            while (0 != r-- &amp;&amp; !name.equals(names.get(r))) {}<a name="line.458"></a>
<FONT color="green">459</FONT>            return r;<a name="line.459"></a>
<FONT color="green">460</FONT>        }<a name="line.460"></a>
<FONT color="green">461</FONT>    <a name="line.461"></a>
<FONT color="green">462</FONT>        static private String<a name="line.462"></a>
<FONT color="green">463</FONT>        string(final String token) throws Exception {<a name="line.463"></a>
<FONT color="green">464</FONT>            if (!token.startsWith("\"")) { throw new WrongToken("\""); }<a name="line.464"></a>
<FONT color="green">465</FONT>            return token.substring(1, token.length() - 1);<a name="line.465"></a>
<FONT color="green">466</FONT>        }<a name="line.466"></a>
<FONT color="green">467</FONT>    <a name="line.467"></a>
<FONT color="green">468</FONT>        /*<a name="line.468"></a>
<FONT color="green">469</FONT>         * This implementation provides few security properties. In particular,<a name="line.469"></a>
<FONT color="green">470</FONT>         * clients of this class should assume:<a name="line.470"></a>
<FONT color="green">471</FONT>         * - repeated deserialization of a JSON text may produce different Java<a name="line.471"></a>
<FONT color="green">472</FONT>         * object graphs<a name="line.472"></a>
<FONT color="green">473</FONT>         * - deserialized application objects can detect the number of times they<a name="line.473"></a>
<FONT color="green">474</FONT>         * have been deserialized<a name="line.474"></a>
<FONT color="green">475</FONT>         * - via the Importer, application objects may gain access to any reference<a name="line.475"></a>
<FONT color="green">476</FONT>         * they are able to name<a name="line.476"></a>
<FONT color="green">477</FONT>         * - an object of any pass-by-construction Joe-E class may be constructed<a name="line.477"></a>
<FONT color="green">478</FONT>         * from whole cloth<a name="line.478"></a>
<FONT color="green">479</FONT>         */<a name="line.479"></a>
<FONT color="green">480</FONT>    }<a name="line.480"></a>




























































</PRE>
</BODY>
</HTML>
